1994年度ACMチューリング賞受賞記念講演 “What”はいかにして“How”になるか